Local linear convergence analysis of Primal–Dual splitting methods

In this paper, we study the local linear convergence properties of a versatile class of Primal–Dual splitting methods for minimizing composite non-smooth convex optimization problems. Under the assumption that the non-smooth components of the problem are partly smooth relative to smooth manifolds, we present a unified local convergence analysis framework for these methods. More precisely, in our framework, we first show that (i) the sequences generated by Primal–Dual splitting methods identify a pair of primal and dual smooth manifolds in a finite number of iterations, and then (ii) enter a local linear convergence regime, which is characterized based on the structure of the underlying active smooth manifolds. We also show how our results for Primal–Dual splitting can be specialized to cover existing ones on Forward–Backward splitting and Douglas–Rachford splitting/ADMM (alternating direction methods of multipliers). Moreover, based on these obtained local convergence analysis result, several practical acceleration techniques are discussed. To exemplify the usefulness of the obtained result, we consider several concrete numerical experiments arising from fields including signal/image processing, inverse problems and machine learning. The demonstration not only verifies the local linear convergence behaviour of Primal–Dual splitting methods, but also the insights on how to accelerate them in practice.     

Kinetics Study of the Thermal Decomposition of Post-consumer Poly(Ethylene Terephthalate) in an Argon Atmosphere

The thermal decomposition of post-consumer samples of a carbonated water bottle made of poly(ethylene terephthalate), PC-PET, was examined by linear temperature programing under an argon atmosphere to determine its mass loss kinetics. A simple kinetic model, called the first order pseudo single-component model, was used. The total weight-loss of each sample assumed to be in two periods, with each period corresponding to a one step decomposition of the PC-PET to volatiles. Three methods for determining the kinetic parameters by thermal gravimetric analysis were examined: differential analysis at a constant heating rate (differential), temperatures of a given conversion at a number of heating rates (isoconversional), and the maximum rate at multiple heating rates (peak temperature). The latter two multiple heating rates methods results were comparable to each other but they were not in agreement with the results from the differential method. The results of the differential method were insensitive to the heating rate and consistent with kinetics data reported in the literature for PET.     

The double deflating technique for irreducible singular M-matrix algebraic Riccati equations in the critical case

As is known, Alternating-Directional Doubling Algorithm (ADDA) is quadratically convergent for computing the minimal nonnegative solution of an irreducible singular M-matrix algebraic Riccati equation (MARE) in the noncritical case or a nonsingular MARE, but ADDA is only linearly convergent in the critical case. The drawback can be overcome by deflating techniques for an irreducible singular MARE so that the speed of quadratic convergence is still preserved in the critical case and accelerated in the noncritical case. In this paper, we proposed an improved deflating technique to accelerate further the convergence speed – the double deflating technique for an irreducible singular MARE in the critical case. We proved that ADDA is quadratically convergent instead of linearly when it is applied to the deflated algebraic Riccati equation (ARE) obtained by a double deflating technique. We also showed that the double deflating technique is better than the deflating technique from the perspective of dimension of the deflated ARE. Numerical experiments are provided to illustrate that our double deflating technique is effective.     

Thermal decomposition of model compound of algal biomass

This contribution investigates thermal decomposition of leucine, as a representative model compound for amino acids in algal biomass. We map out potential energy surface for a wide array of unimolecular and self-condensation reactions operating in the decomposition of leucine. Decarboxylation and dehydration of leucine ensues by eliminating CO₂ and –OH, respectively, from the –COOH group attached to the α-carbon. The molecular channel for deamination involves cleavage of NH₂ from α-carbon of leucine. The activation energies for direct elimination of CO₂, NH₃, and H₂O from a leucine molecule lie within 20.7 kJ/mol of each other. Activation energies for these decomposition pathways reside below the bond dissociation enthalpy of H–C(α) of 323.1 kJ/mol. The decarboxylation, deamination, and dehydration pathways, via radical-prompted pathways, systematically require lower energy barriers, in reference to closed-shell reaction corridors. Detailed computations at the CBS-QB3 level provide the Arrhenius rate parameters for the unimolecular and bimolecular reactions, and standard enthalpies of formation, standard entropies, and heat capacities for all the products and intermediates. A kinetic analysis of gas-phase reactions, within the context of a plug-flow reactor model, accounts qualitatively for the formation of major products observed experimentally in the thermal degradation of the condensed-phase leucine. Among notable N-containing species, the model predicts the prevailing of NH₃ over HCN and HNCO, in addition to corresponding appreciable concentrations of amines, imines, and nitriles. Our detailed kinetic investigation illustrates a negligible contribution of the self-condensation reactions of leucine in the gas phase.     

偏缠绕模的Frobenius性质

主要给出了偏缠绕模的Frobenius性质，推广了缠绕模相应的性质。     

Springer basic sets and modular Springer correspondence for classical types

We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (defined over a base field of odd characteristic $p$, and with coefficients in a field of odd characteristic $?\ne p$): the modular case is obtained as a restriction of the ordinary case to a basic set. In order to do so, we compare the order on bipartitions introduced by Dipper and James with the order induced by the Springer correspondence. We provide a quick proof, by sorting characters according to the dimension of the corresponding Springer fibre, an invariant which is directly computable from symbols.